c langauge logical Programming